Éco-conception ?… Éco-système !

Elaboration d'un système pédagogique d'assistance à la conception en électrotechnique

Une représentation en graphe pour l'enseignement de XML

XML est un format actuellement très utilisé. Dans le cadre des formations en informatique, il est indispensable d’initier les étudiants à ce format et, surtout, à tout son éco-système. Nous avons donc mis au point un modèle permettant d’appuyer l’enseignement de XML. Ce modèle propose de représenter un schéma XML sous la forme d’un graphe mettant en valeur les caractéristiques structurelles des...

Exploration architecturale pour la conception d'un système sur puce de vision robotique, adéquation algorithme-architecture d'un système embarqué temps-réel

Conception d'un Système Interactif d'Aide à la Décision Collective en Localisation Spatiale

Résumé. Notre contribution concerne les systèmes interactifs d'aide à la décision multi participants pour la conduite des processus territoriaux. Nous nous appliquons, à travers cette étude, à mettre en place une démarche décisionnelle visant à représenter la multiplicité des acteurs, leur diversité, leur comportement ainsi que leurs interactions. Dans cette optique, nous concevons un modèle dé...

Conception et implémentation d'un système d'aide à la spécification et à la preuve de programmes ML

One should not underestimate the import of being able to verify the conformance between a program and its specification. Furthermore, being able to verify it using a dedicated program allows one to check the correctness of this verification. For this purpose, one uses proof assistants, which are programs that allows to describe the problem, build proofs, then check them. There are more than one...